Direct product of group representations

Metadata
aliases: []
shorthands: {}
created: 2021-12-04 19:39:15
modified: 2022-01-10 04:13:04

group, are its representations where is the dimension of the corresponding representation.
Then the direct product representation is where is the usual Kronecker product product of the two matrices.

Character

The character of is then: